Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
- Genre
- Electronic books
- Språk
- Okänt
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer | 2012 | Utgivningsland okänt / Ej specificerat |